Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
81	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-10-16 19:31:58
82	You want to study logic. You enjoy an interdisciplinary approach to research. Join the... Master of Logic ‘The people at the ILLC are extremely approachable, and they talk with great Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-11-28 11:52:50 Institute for Logic Language and Computation University of Amsterdam Logic
83	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2005-09-22 14:37:02
84	Software Abstractions for Description Logic Systems Michael Wessel and Ralf M¨oller Hamburg University of Technology Institute for Software, Technology, and Systems (STS) Hamburg, Germany Abstract. We explain the basics Add to Reading List Source URL: www.european-lisp-workshop.org Language: English - Date: 2009-10-20 14:16:56
85	Activity Planning in a Continuous Long-Term Travel Demand Microsimulation Maxim Janzen Kay W. Axhausen Institute for transport planning and systems Add to Reading List Source URL: www.strc.ch Language: English - Date: 2015-05-18 09:01:32 Transport Transportation planning Electronic design automation Operations research Simulation Transportation forecasting Scientific modelling Logic simulation Traffic flow Computer simulation
86	A Non-monotonic Extension of Universal Moral Grammar Theory Gert-Jan Munneke () Institute for Logic, Language and Computation University of Amsterdam 107 Science Park, Amsterdam, 1090 GE The Netherlands Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2015-07-26 12:59:09
87	High Performance ECC over NIST Primes on Commercial FPGAs ECC 2008, Utrecht, September 22-24, 2008 Tim Güneysu Horst Görtz Institute for IT-Security Ruhr University of Bochum, Germany Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2008-10-27 20:01:32 Reconfigurable computing Electronic engineering Fabless semiconductor companies Electronics Computing Xilinx Field-programmable gate array Virtex Application-specific integrated circuit Logic block SciEngines GmbH
88	Improving the Accuracy and Efficiency of MAP Inference for Markov Logic Sebastian Riedel Institute for Collaborating and Communicating Systems School of Informatics Add to Reading List Source URL: uai2008.cs.helsinki.fi Language: English - Date: 2008-05-16 11:14:45
89	Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:45 Logic Mathematics Mathematical logic Abstraction Syntax Propositional calculus False Proposition Queueing theory Well-formed formula
90	Power Analysis of the t-Private Logic Style for FPGAs Zachary N. Goddard, Nicholas LaJeunesse, and Thomas Eisenbarth Worcester Polytechnic Institute, Worcester, MA 01609, USA Email: {zngoddard,nplajeunesse,teisenbarth}@w Add to Reading List Source URL: users.wpi.edu Language: English - Date: 2015-03-20 15:38:16

UPDATE